Herbrand interpretation
英
美
海尔勃朗解释
双语例句
- Based on the first order predicate logic each qualitative Horn clause rule in this paper is associated with an implication strength f, therefore quantitative f-Horn clause rules and their Herbrand interpretation are obtained.
本文在一阶谓词逻辑的基础上，为每个定性的Horn子句规则赋予一个蕴涵强度f，从而得到定量的f-Horn子句规则及其Herbrand解释。 - An extensive Herbrand interpretation has been given to interpret thd logic semantics and the object oriented semantics uniformly.
并在逻辑语言的Herbrand解释基础上，探讨了逻辑对象的语义解释；